Cut Elimination in Nested Sequents for Intuitionistic Modal Logics

机译：减少直觉模态逻辑的嵌套序列中的消除

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Straßburger, Lutz;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents [J] . Tim Lyon, Alwen Tiu, Rajeev Gor, LIPIcs : Leibniz International Proceedings in Informatics . 2020,第30期

机译：通过嵌套顺序的时态逻辑和双直觉逻辑的句法插值
2. From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics [J] . Martini Simone, Masini Andrea, Zorzi Margherita ACM transactions on computational logic . 2021,第3期

机译：从2个顺序和线性嵌套的顺序到普通模态逻辑的自然扣除
3. Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4 [J] . Sticht Martin Fundamenta Informaticae . 2018,第1a2期

机译：直觉逻辑和模态逻辑S4中用于证明搜索和计划的多主体对话和对话序列
4. Cut Elimination in Nested Sequents for Intuitionistic Modal Logics [C] . Lutz Strassburger European joint conferences on theory and practice of software;International conference on foundations of software science and computational structures . 2013

机译：减少直觉模态逻辑的嵌套序列中的消除
5. Monadic Intuitionistic and Modal Logics Admitting Provability Interpretations [D] . Brantley, Kristina. 2019

机译：单子直觉和模态逻辑承认可证明性
6. From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic [O] . Christian Fermüller, Timo Lang, Alexandra Pavlova -1

机译：从真相比较游戏到Gödel逻辑的相依关系计算
7. Cut Elimination in Nested Sequents for Intuitionistic Modal Logics [O] . Straßburger Lutz 2013

机译：减少直觉模态逻辑的嵌套序列中的消除

Cut Elimination in Nested Sequents for Intuitionistic Modal Logics

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅